The formal and informal tools of design governance

Tools for the Governance of Urban Design: The Tehran Experience

This research seeks to reflect the managerial, academic and professional experience of the  authors in the design and implementation process of urban design projects, aiming to use the application of the “design governance” model, in order to describe the documents and activities of the Department of Urban Planning and Architecture of Tehran Municipality in the last decade. This paper consists ...

the relationship between efl learners linguistic and logical intelligence and the frequency and types of informal fallacies and evidence in argumentative writing

مطالعه حاضر با هدف بررسی وجود رابطه ی ممکن میان هوشهای زبانی و منطقی زبان آموزان انگلیسی و تعداد و انواع مغلطه های زبانی و شواهد در متنهای استدلالی آنان انجام پذیرفته است.بدین منظور، 70 زبان آموز با سطح زبانی متوسط به بالا از دو موسسه زبان انگلیسی در ایران انتخاب شده و پرسشنامه های مزبوطه را تکمیل نموده و متنی استدلالی نوشتند. متون نوشته شده مورد بررسی قرار گرفته و نمرات پرسشنامه ها محاسبه شده ...

Combining Formal and Informal Methods in the Design of Spacecrafts

In this chapter, we summarize our experience on combing formal and informal methods together in the design of spacecrafts. With our approach, the designer can either build an executable model of a spacecraft using the industrial standard environment Simulink/Stateflow, which facilitates analysis by simulation, or construct a formal model using Hybrid CSP (HCSP), which is an extension of CSP for...

Design and formal verification of DZMBE+

In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...

The Institutional Dynamics of Regulation in the EU : Formal and Informal Institutions in Supranational Governance